Congruences of convex algebras
نویسندگان
چکیده
We provide a full description of congruence relations of convex, positive convex, and totally convex algebras. As a consequence of this result we obtain that finitely generated convex (positive convex, totally convex) algebras are finitely presentable. Convex algebras, in particular positive convex algebras, are important in the area of probabilistic systems. They are the Eilenberg-Moore algebras of the subdistribution monad. AMS MSC 2010: Primary 08A30, 52A20, 18C20. Secondary 08A62, 18C05
منابع مشابه
A new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملT-FUZZY CONGRUENCES AND T-FUZZY FILTERS OF A BL-ALGEBRA
In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...
متن کاملConvex congruences
For an algebra [Formula: see text] belonging to a quasivariety [Formula: see text], the quotient [Formula: see text] need not belong to [Formula: see text] for every [Formula: see text]. The natural question arises for which [Formula: see text]. We consider algebras [Formula: see text] of type (2, 0) where a partial order relation is determined by the operations [Formula: see text] and 1. Withi...
متن کاملHvMV-ALGEBRAS II
In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.
متن کاملA class of certain properties of approximately n-multiplicative maps between locally multiplicatively convex algebras
We extend the notion of approximately multiplicative to approximately n-multiplicative maps between locally multiplicatively convex algebras and study some properties of these maps. We prove that every approximately n-multiplicative linear functional on a functionally continuous locally multiplicatively convex algebra is continuous. We also study the relationship between approximately mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012